21. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
22. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.
23. Logical and Computational Aspects of Model-Based Reasoning
پدیدآورنده : edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Discoveries in science -- Congresses.,Qualitative reasoning -- Congresses.,Science -- Methodology -- Congresses.
24. Machine learning :
پدیدآورنده : Y. Kodratoff (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
25. Model-Based Reasoning in Scientific Discovery
پدیدآورنده : edited by Lorenzo Magnani, Nancy J. Nersessian, Paul Thagard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Discoveries in science -- Congresses.,Qualitative reasoning -- Congresses.,Science -- Methodology -- Congresses.
رده :
Q175
.
32
.
R45
E358
1999
26. Model-based reasoning in science and technology :
پدیدآورنده : Ángel Nepomuceno-Fernández, Lorenzo Magnani, Francisco J. Salguero-Lamillar, Cristina Barés-Gómez, Matthieu Fontaine, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Model-based reasoning, Congresses.,Model-based reasoning.
رده :
Q339
.
19
.
M63
2018eb
27. Non-monotonic extensions of logic programming :
پدیدآورنده : Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
N68
1995
28. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
29. Philosophical writings of Peirce
پدیدآورنده : Peirce, Charles S. )Charles Sanders(
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Peirce, Charles S.)Charles Sanders(,9381-4191
30. Philosophical writings of Peirce,
پدیدآورنده : selected and edited with an introd. by Justus Buchler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Peirce, Charles S., (Charles Sanders),1839-1914.
31. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
32. Thinking and reasoning :
پدیدآورنده : Ken Manktelow
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cognition,Decision making,Reasoning (Psychology),Thought and thinking
رده :
BF442
.
M354
2012
33. Trends in Artificial Intelligence :
پدیدآورنده : edited by Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1991
